headers-po_hi: headers_po_hi.adb
	$(GNATMAKE) headers_po_hi.adb -gnat05

CLEANFILES = *.o *.ali b~*.ads b~*.adb
DISTCLEANFILES = headers_po_hi
